Construction of Finitely Presented Lie Algebras and Superalgebras
نویسندگان
چکیده
منابع مشابه
Some non-finitely presented Lie Algebras
Let L be a free Lie algebra over a field k, I a non-trivial proper ideal of L, n > 1 an integer. The multiplicator H2(L/I , k) of L/I is not finitely generated, and so in particular, L/I is not finitely presented, even when L/I is finite dimensional.
متن کاملFinitely Presented Heyting Algebras
In this paper we study the structure of finitely presented Heyting algebras. Using algebraic techniques (as opposed to techniques from proof-theory) we show that every such Heyting algebra is in fact coHeyting, improving on a result of Ghilardi who showed that Heyting algebras free on a finite set of generators are co-Heyting. Along the way we give a new and simple proof of the finite model pro...
متن کاملSerre Functors for Lie Algebras and Superalgebras
We propose a new realization, using Harish-Chandra bimodules, of the Serre functor for the BGG category O associated to a semi-simple complex finite dimensional Lie algebra. We further show that our realization carries over to classical Lie superalgebras in many cases. Along the way we prove that category O and its parabolic generalizations for classical Lie superalgebras are categories with fu...
متن کاملnilpotent quotients in finitely presented Lie rings †
A nilpotent quotient algorithm for finitely presented Lie rings over Z (LIENQ) is described. The paper studies the graded and non-graded cases separately. The algorithm computes the so-called nilpotent presentation for a finitely presented, nilpotent Lie ring. A nilpotent presentation consists of generators for the abelian group and the products expressed as linear combinations for pairs formed...
متن کاملConstructing Irreducible Representations of Finitely Presented Algebras
We describe an algorithmic test, using the “standard polynomial identity” (and elementary computational commutative algebra), for determining whether or not a finitely presented associative algebra has an irreducible n-dimensional representation. When ndimensional irreducible representations do exist, our proposed procedure can (in principle) produce explicit constructions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Symbolic Computation
سال: 1996
ISSN: 0747-7171
DOI: 10.1006/jsco.1996.0016